Nuprl Definition : R-Dsys
11,40
postcript
pdf
[[
R
]] == case(
R
)Rnone:
left
right
:
left
right
base(
b
). @R-loc(
b
): R-base-ma(
b
)
latex
Definitions
,
A
B
,
@
i
:
A
,
R-loc(
R
)
,
R-base-ma(
R
)
FDL editor aliases
R-Dsys
origin
right: left rightbase(b). @R-loc(b): R-base-ma(b) right: left rightbase(b). @R-loc(b): R-base-ma(b) B